Static analysis of navigational XPath over graph databases
نویسندگان
چکیده
منابع مشابه
Semantic Characterizations of Navigational XPath
We give semantic characterizations of the expressive power of navigational XPath (a.k.a. Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes and sets of paths in an XML document tree. We consider both uses. For sets of nodes, XPath is equally expressive as first order logic in two variables. For paths, XPath can be defined using four simple connectives, which t...
متن کاملA system for the static analysis of XPath
XPath is the standard language for navigating XML documents and returning a set of matching nodes. We present a sound and complete decision procedure for containment of XPath queries as well as other related XPath decision problems such as satisfiability, equivalence, overlap and coverage. The considered XPath fragment covers most of the language features used in practice. Specifically, we prop...
متن کاملRisk-Averse Matchings over Uncertain Graph Databases
A large number of applications such as querying sensor networks, and analyzing proteinprotein interaction (PPI) networks, rely on mining uncertain graph and hypergraph databases. In this work we study the following problem: Given an uncertain, weighted (hyper)graph, how can we efficiently find a (hyper)matching with high expected reward, and low risk? This problem naturally arises in the contex...
متن کاملQuerying and Managing Navigational Databases
The diversity of data that needs to be handled by applications and humans has inspired a large variety of formal data models, different from the most popular relational model. Two models attracting a lot of attention in recent years are the hierarchical model and the network model. The investigations into the hierarchical model are geared by the interest in the XML technology, which involves do...
متن کاملProcessing XPath Expressions in Relational Databases
Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XML documents. So, methods defining semantics for XPath expressions are of special importance. In the paper we propose a relational semantics for XPath expressions. The semantics consists of four semantic functions defined over s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2016
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2016.03.006